1. Formal software developmen
المؤلف: / Quentin Charatan and Aaron Kans
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development,Formal methods (Computer science)
رده :
QA
,
76
.
758
,.
C43
,
2004eb
2. Formal software developmentfrom VDM to Java
المؤلف: / Quentin Charatan and Aaron Kans
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Computer software -- Development,Formal methods (computer science)
رده :
QA
76
.
758
.
C43
2004
3. formal Software Development: From VDM to JAVA
المؤلف: Charatan, Quentin, Quentin Charatan and Aaron Kans
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Computer software- Development- Congresses
رده :
QA
76
.
76
.
C45F62
